perm filename EUF7.360[360,GF] blob sn#800067 filedate 1985-08-07 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T 0D"1λ↓`  Sa∀h¬R`@λ∧∩`@(α∩`@(α∩`@(α∩`@(α∩`@(α∩@P(α∩@P(α∩@P(α∩@@ β $Xα!4Xβ@@d`αA4h↓↓`∀("_AaλF `λ%@0_%@ _%↓) (%↓	  %↓	  %↓@λ%↓ 0%↓⊂@%↓@ 0%↓ @(%↓P %↓P %`` %`` %↓P %↓P %↓P %↓P %↓   %αI@0&@HT 1BaAλ↓@DpβS!∧Xα DXα↓∀Xα∩@DPα∩@DPα∩@DPαR`@ ↓∩`Pλ↓Sthα∪@$("→α↓λ¬@@λ&↓) H%αi λ↓B*@)↓j@('@`0('`@(&@`P &↓P &↓P &↓P &↓P &↓P &↓P &↓P &↓@ &↓@ _&B	`0(HT 2BaAλ↓@∀pα∪tX¬∩`@λα∩`@⊂↓∩@@λ↓R@tPβ∩@TPα∩@TXα`4Xα@ 4`βS Dp↓⊃(F0¬αCq@αA)`0'↓)P(&i@_%A	0(&↓	@(&A	 P%   ↓)P &A	P &A	P &A	P &A	P &A	P &A	P &@iP_&@IP⊂&I@⊂"QqλλEbH↓↓ ∃λ¬∪aDhπ∪ @_βS @0↓S@8↓S@8↓S@8↓S@8↓S@0α∪P αS@ βS @λα Dhβ@`DpαADp↓A`4h↓B4`αA@4X∧@`$Pπ∩`⊂⊂∧T U_↓⊃(F@εD∧↓Hβ) λαi ⊂A	 (%↓	  %↓	  %↓	  αI  ↓↓i  B	 8A) (α@i  βi _β@i _β@i _β@i _β@i _β@i _β@i  βi  βi  αA	 _β↓	0λβA
0_)@J ⊂(@J⊂'@jλ"Q
⊂@∧εβ S $`α∪4`↓⊃`$`↓∩`TPβ∩@⊂λα∪D`α∪D`α∪D`α∪D`α∪@λSd`αS 4pQ(FPβAcq@α)P⊂&↓	@_&Hp⊂&@I@ %↓I 8&↓)P &A	P &A	P_&@iP_&@iP_&@iP_&@iP⊂&I@⊂%@I ⊂%I λ"Q
0`εε#⊂@S _↓S ⊂↓ST`αS@⊂↓S@λα∪↓$`α@ D`α@D`α@4`∧∩A4P¬∪D`α∪D`α∪D`α∪D`α↓$`α@ 4hβS@Dx↓⊃(F`∧αC⊃Hβ@)0λ↓@i ⊂↓i 0%↓)  %↓	0_%@i0_%@i0_%@i  %↓	  %↓	  %↓	  %↓	  @) 0%↓)0_&(T 6GCaλ` 0↓↓`$`α@``_β∩@pλ∧@!∧P↓ pλ∧ dpαAP α∪@00α↓ Dp↓A@@0↓S@00α↓@4p↓A@@0↓S@00α↓@4p↓A@@0↓S@00α↓@4p↓A@@(α@$pα↓ @(∧∪@@(α↓@Tp↓A`00α∪`⊂HB$("≠BA λ∧0⊂β)00↓↓I 8B	 PA)P(α↓	P βiP βiP βiP βiP βiP βiP βiP β` ⊂&AP@&A P('`` '@!⊂"Q
phλ∧α0↓SA∀`¬RaDPα↓ DPα↓ DPα↓ DPα↓ DPα↓ DPα↓ DPα↓ DPα↓ DPα↓ DPα@@TX∧Sdh↓⊃(GλDβ!_α@)p⊂'IP α@)P ↓AiP(B	`8A)`(α↓	` αA	` αA	` αA	` αA	` αA	` αA	` αA	`(α↓	Ph&β) _B)0λ↓↓ ⊂'↓	` '↓	` '↓	`⊂'(T 8Cb⊃8λ↓` (Sa$h¬R`@λ∧∩`@0↓R@@8↓R@@0α∩@@0α∩@@0α∩@@0α∩@@0α∩@@0α∩@@ β∩@Pλ∧∩`p⊂α∪P_α∪  (α∃E α∃E α∃E α∃$("≤APhλ∧ ⊂αI0(@i h% ⊂X&↓ _&↓	@ &↓	@ &↓	@ &↓	@ ↓@I@(@iP8'↓	p⊂"Q∞1λλ∧α@↓↓ %¬SADp¬∪ Dhα↓ $hα`ThεSADpα↓DxA@Dx↓↓ Dhβ`D`∧@ 4Pα!$P↓↓ e⊂↓⊃(G ¬Bba0βI`_&A	P &A	P &A	P &A	0H%α)P_&A	P &A	P &A	P &A0λ&B	`0'A
λ"Q∞Q_
∧α_↓α ∀XαA`$PβADP@ P(↓S @(↓S @(↓S @(↓S @(↓S @(↓S @(↓S @(↓S 00↓S@(α@$`β!$X¬ Thβ`Dx↓↓@$("≥Aa	D` λ&I0⊂%↓@_%↓08%βI00↓↓)0(α↓	0 αA	0 αA	0 αA	0 αA	0 αA	0 αA	0 αA	0 α@i0(↓A	@H&AI`_"Q∞qH
DB ⊂↓∩`$Pα↓ ⊂@↓R@@_β↓tPα@!⊂λ∧R`pλ∧@dXαA P(α∩`@0α↓@DXα↓@08α∩`@0↓A`DXα↓@08α∩`@0↓A`4Xα↓@08↓R`@0↓A`4Xα↓@@0↓R`@0β`DXαA!4`↓BthB`4("≡↓P`∧0⊂α@)@(A	0`%@ ⊂H&A0λ&A	P &A	P &A	P &A	P ↓@IP(@i@H&@⊂ %@@0⊂%i _%↓	 0%AIP_"Q∂⊂xλFB0⊂S$X↓∩@@(R@@_β∩@Pλ∧∩`pλβ∩`P(α∩`@8↓R`@8↓R`@8↓R`@8↓R`@8↓R`@8↓R`@8↓R`@8↓R`@8↓R`P0↓S00↓S ⊂8↓U 5 ↓T`5⊂↓T 5↓T$("≡A0PD`⊂'A)P8&α)@λαj⊂⊂(ip_'↓IP@'AJ⊂ (↓)p⊂@i`_@iP_↓iP⊂↓@i@⊂αi0_αi (↓↓	 H%AiP 'HT  GβAHA``XSa 8↓S!P α∪0(β@@TX↓B`λα∩@0Pα@ DPαα Pλα∩@@Pα DPαB @λα∩`P@α D`αA`0⊂α∪ @0α@Dhα↓@@⊂α∪ 08↓@`D`↓A`0 α∩`08↓A E_α↓@E⊂α↓`Uλ↓B UαBTp∧↓ th¬@@λα@ $Xλa∧P↓A@p(αU@8α∃  @↓⊃(D⊂⊂λ#⊃Hβ↓A  'α@P@&C0H&↓⊂`α↓)0_βαP(%↓p8β↓	  ∧↓ p(@I (βA p@%↓@`(∧↓)0(βA`(&↓ ` α↓)@(β↓⊂H&Aa&@`p(↓B)@_∧↓p0%@a⊂ ∧A*` ¬↓*` ¬A
P ε↓
@_π↓
 (εA
X∧A	ppβ↓	Q@&`pp,B(T !Ec↓HD@∃HαU`u_@!∃∧@tx∧@`dh↓@`P ↓∪@_αR`@ αR`@(αR`@(αR`@(αR@P(αR@P(α∩@P α∩@P⊂αR`@⊂↓R`TXαST`β∪ pX↓∪A⊂0α∪b¬π∀A$("⊃βapF! H(D	q '¬iP(¬B)@ β@@p0%@`p_∧AI0_βa0(%``_εA) ⊂β↓↓P(%@P0εA	 ⊂αAAP )↓A@ )AA0 *↓!0_*A! _*A↓0_*@a0 *a@_(A!P_'α↓@_&C↓_&∧0 %@`A%a⊂X%@!P0"QλQ8ε#⊃⊂V U8βT`⊂λ∧T↓⊂βSa⊂_β∪ 0_αA$`α`TXα↓TXα↓ P_R`@(α@ DXα↓!4PαA!DPαA P⊂α∩@P(α∩@P α∩`@λβ∩`Pλ↓∩`T`αSdhβB`$p∧A@Dxλ∀↓e⊂¬⊃(D0
ε#aH∧↓*P'C `⊂'∧0⊂&@``h&@A⊂P&@A⊂H&A⊂_↓iPλ∧JP_*`pλ)A @ *↓0(*↓ ⊂8*A`⊂_*A @λ+↓)P(αA)08αA) HαA)`(β↓)`(β↓)` ∧↓	` ∧↓	` ∧↓	` ∧i` βA	`(βip0A*H(A(T #FcQHD@∃@@@50∧T@⊂λαA∃βAtp∧A T`α@P(↓R`@_αA4X↓A @⊂β∩@@(πR@@(λ∩@@(αAtPα↓ P0β∩@@(αA`TPα↓ @HαR@@ αB DPα@ PXα∩@Pλ↓C DPβ∧4XαC`DXββ D`βB@Dh∧↓@Tpλ∪aUλ¬⊃(D@
FCA@ε@p⊂*↓@0_)C
 `(@`0((ip 'A↓0'A PP(↓@`(↓  α↓J@βA*⊂0∧A*⊂(¬↓*⊂(¬↓*  ¬↓* (∧A*0 ∧A*0 ∧A*@_∧A)`_↓a  &α!0 %B!@ %`  εA	 λα@A`_-@ 0_-↓k⊂8-↓λT $E"QHA@Dp∧A@$hε@D`λS0 ∧@ ∀X↓B@λ↓R` h↓R@ h↓R@ `α∃`U8αVE@α⊗E@α⊗U@αVU@α⊗E@α∪@ 8α∪ @0↓Sp⊂α∩aTX@A∧("∩Ba(∞F!_(↓ipH'β@⊂&A0`&@@p@&A⊂ @I@⊂ε@k _,@k +A
p(+A+ ,↓ ,↓('A⊂ &↓@p %αp %αp '↓p '↓p '↓p_'↓ `⊂'A 0_'BJ@"Q	1X
F#⊃λ↓Ua%(εU@(β∀` Pα∀@0X↓T 0`↓∀@(α@`∃αa∧xα@A%α 0_αT`0α∀P8βTP@αT @(β∀ @⊂βT!eλβ`U⊂↓A@U⊂↓A`E⊂↓A`D`A 08αR`0_↓B`λ↓∩A⊂P∧∩@p`βR`Ppα⊃(D`
εC⊃Hπ↓JPX*β
0_β↓* ⊂∧↓*⊂_∧↓* ∧↓* ∧↓)p(∧↓j ∧↓j(∧↓
((A*  )↓*0 )@j0⊂)aP⊂'A!`⊂&AaP⊂&αa⊂_&¬i0_↓D) _βCI0λ¬BHT &JE!HA`Q α∪a⊂8α↓ thε↓p_∧S@λ∧@! λ↓@`DX↓AA⊂_βA P⊂R`08βA P0∧∩@@@αA@P8β∩@P8αA@P@↓R`P8αA@@8↓R``0αA@@0↓SP0α↓`@(α∪ P(α↓`@(α∪ @0α↓`@(α∪@00α↓`@ α∪ 08α↓`@ α∩`0Hα↓`@ α∪⊂P↓B0(α∃`0@↓A E0α↓`@(αU@0@↓A@U(αα00αS P_↓@`@λ↓A``λ↓∪↓  ∧α↓∀X¬↓↓Pβ∩A (βCDPA  8A⊂h↓⊃(Dp⊂H#⊃HβA! ('B `@&C@P&↓08↓↓ (%@``0@`P(%@`p@βα	  ∧↓A0%↓ p0∧↓	 0βA!⊂⊂%A p(∧i@(β↓ p_&A ` β↓	P βA` &Ap β↓	P_∧↓` %@a  β↓ β↓_βA_βA_βA*p_∧↓*⊂α@a0↓)p_αA0@'B↓@8'Aa` (↓α⊂λ"Q	qp∂εC `↓∃ 5 εUα¬ λT   A!∀x↓C@tp↓Ddhα∧ Thα∧@T`αD@T`β∧ ThαD Thβ∧TpαDTxαC`Uαβ`Eαβ`Eαβ`E↓D5↓∧Dp↓D 4hβC 4`¬BDX∩@ (πR@⊂@¬⊃(E⊂λ∧↓Hβ↓A ('α@`@&C@H&`@0↓↓0(%@``HαA)0_βA``(%↓↓(∧↓i (βA!0%↓@` ¬i0(β↓↓ ⊂&↓ P ∧@IP αA↓_&AP βA)P_β↓p(&`p ∧↓)0_∧↓↓⊂(+↓↓⊂(+↓↓  +↓↓0_)α↓0_(BA ⊂(β@`_'Ei`_αCi`⊂β↓⊂H' p α↓
`(+↓*`(+↓*`(*A
P_"Q
⊃x∂Gβ `↓∃ 5 εUα¬ λT   A!∀x↓C@tp↓Ddhα∧ Thα∧@T`αD@T`β∧ ThαD Thβ∧TpαDTxαC`Eαβ`Eαβ`Eαβ`5↓D5↓∧4p↓D 4hβC 4`¬BDX∩@ (
@$PB↓ ⊂¬_ f_↓⊃(E⊂⊂H#⊃HβA!0_'B `8&C@H&`@8↓` (%@``0@`@(%@`p@αA)  ∧↓@`@%↓ p0βα	 (∧↓ p(%A p(αA)@(β↓@(&↓ ` B)P ββiP_βA@00&@`p βA	0_∧Ap &! _∧↓
p_∧↓
` ∧↓
`_∧A*`_∧A)` ↓@a 0↓)@PεB	0Pπ↓i Pλ↓	0λαB0⊂"Q
1`∂ε#⊂`↓TaPT!P0↓∪`@ ¬@4p↓B↓Dh↓Ba∀`↓C@T`↓A4X↓A4X↓@`4Pα@@@βR@@⊂
∩@@_
∩@@_¬@`tPα↓@ XαR@A α∩@Q_α∩@Q_α∩`Q⊂α∩`Q⊂↓R`a↓S`x↓S pXα∪B4xλT!D("∃β1XF!8¬@)q↓↓	a0&A  x&A P%@A _%@A⊂⊂%a_%↓`_%↓ P %A@(%@``(*A*P0+↓Jp(,↓_,jp_)↓a⊂(Bp⊂(∧)a⊂&@``H,↓(T *GCaHB@ hT`0`↓∀@ `α∀  XαT0XαS`@XαS@PXα∪@PXα∪`PPα∪`PPα∀PHα∀PHα∀ P@α∀ P@α∀@@@α∀@@@α∀@@@α∀@0HαT@ PαT  XαS`0Xβ∪!8∧@$`ε@@λ∧∩b _β∩@  ¬A DPBp8↓⊃(E0⊂H#⊃HβA!0_'B p8&CPP&`@8↓βi0_βB P8%@a8∧↓	  ∧↓A ⊂%↓!(∧@i 0βA!_%A@` ∧↓	@(β↓↓ &A P ∧↓	`_β↓↓ &@`p ∧↓)@_∧a⊂(%@a⊂_∧A*`_¬↓*`_¬A
@_εA
⊂0ε↓*H¬↓	`h∧↓	P_αα `_&Ap,αk 8"Q
rP∃ε#⊂8αE4x∧A@08βS!@ αA! ⊂S@_β@@p⊂πS 8∧!⊂(βR`0@β`p@α∩@@@αA PH↓R@P@α↓@@@α∩`P8α↓@@@↓R``0α↓@@8α∪P0α↓@@8α∪ P(α↓@@8α∪@00↓A`@8αS@00↓A`@8αS 00α↓`@8αR`@8α↓`@8αS⊂H↓B@@α∃ @@↓B E(↓B@Hα∀`0P↓B@Dxβα@0Pα∪@`PβαDh¬↓! 0↓Rd$P↓A!0_ε∩`⊂@βα t("⊗βA`F!_¬@*⊂0βA
@αAIpP↓A` λ'`0(↓@ 8&@@`8α↓)@⊂∧↓@P⊂+↓*`(+↓*`((D
↓λ'D*` +↓*`(+↓*P0*Aj@_A	@λβ` (β@)0 ↓@`08↓↓	 PαBi08∧α	@ ¬AHT ,GCbA``XSa⊂@α∪!@(βS@_β@a$`↓↓``λ↓@ tX↓Bp(αR@@@β↓`DPαBP8αR`P8ααTXβ↓@@@αSP0ααThαA @@αS@00αα Dp↓↓`0Pα∪0@↓B@DX↓B@Pα∪⊂H↓B@U(αα@E(↓B`E_↓C Dxββ@Dp∧↓@ (α∪"0↓Sα0α∩` 0∧↓`DXB P@↓X 5(B@5 ↓α 5_α↓`5⊂εTa5(βQ(EP
E#aPα@I`_&CIPx&D	p_αAK(,↓_+A
p_*@j H(C
⊂h(@ P@-↓+ (-A0 -A0 -A  &A↓⊂ %Aa_%αp %  (β↓	P(αA	Ph&BH←@αFX≤+X≥z0↓∨3@↓∨3@␈␈␈␈xαP␈␈␈␈H↓P{_"0∧(Q ∧?01∧`@Q"@∨≡f_πiP5k⎇LA_α∀(P⊂@{→!`β&M *␈03β(K⊗ b↑f8	@↓
⊂Eλj⎇M↓_α∀(P#⊂{~! α$I⊂T∨05α@ I∩ ↓6↑fXπiP5_∞⎇M@P↓∩$H6P{≠#`εm[0u?07∧`@Q"@απ≡fx	@↓
⊂E 4⎇N↓_α∀(PJ0{≤"0∧(Q ↓ ?09β@0M~@αV≡g_λ@yp=(F⎇N@`↓2eH\P{≥"0∧(Q ↓@∨0;∧`@Q"@β∀≡g8∂↓[0m@0L⎇Op↓S&Pp {≡"0∧(Q ↓i∨0=β@0M~@βj≡dλ∞↓K8L8w⎇H"_β{cλ↓πp{⊂bp¬/o⊂α ?0"λpqλ ∧X≡d(@↓+x<@Hj⎇Ha8αWwH↓#P{⊃c`εyB αV?0$π`h3 ¬K↑dH
@↓≤_4@XQ⎇I!(α5# ↓?@{∩c ¬u↔Pβ∨0&ε@Xj/ ε2↑dh∀@α-⊂0h⊃⎇Ibβ\"λ↓↑p{∪dπ2≥PβP∨0(λpqλ π:↑eλ⊂↓n⊂⊂@xB⎇J"β\"λ↓␈0{∀dπ2≥P∧⊃∨0*ε@Xv|@λ>≡e(∞↓NP↓↓λ'⎇Jbβ\"λα≤0{∃e⊂	4L∧I←0,π`u@	B≡eH⊂↓n⊂⊂@↓_7⎇K!8αWwHαA0|@↓ 5`{⎇xow{⎇x